Auto merge of #3057 - rjgoldsborough:add-policies, r=steveklabnik
authorbors <bors@rust-lang.org>
Wed, 28 Sep 2016 00:50:27 +0000 (17:50 -0700)
committerGitHub <noreply@github.com>
Wed, 28 Sep 2016 00:50:27 +0000 (17:50 -0700)
commiteaebe26441344d600d42f3f8c549f42c0c80a1ec
treeea855cd8ccfc0fd341c47c895c004153f1eea2d8
parent7964e94f18d0c86dd8a324fb3495fe14bd684058
parenta26732c0cc7e6cb55fa30bc878e75d3cf944f443
Auto merge of #3057 - rjgoldsborough:add-policies, r=steveklabnik

adding policies page to the docs

Fixes #3056
Makefile.in